[next] [prev] [prev-tail] [tail] [up]

2.2.21 Integrals 2001 to 2100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 2001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

345 345 320 692 0 541 0 503 -1

N.S.

1 1.00 0.93 2.01 0.00 1.57 0.00 1.46 -0.00

time (sec)

N/A 0.172 0.103 0.079 0.000 1.752 0.000 0.725 0.000

Problem 2002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 318 670 0 537 0 504 -1

N.S.

1 1.00 0.92 1.95 0.00 1.56 0.00 1.47 -0.00

time (sec)

N/A 0.157 0.101 0.074 0.000 1.753 0.000 0.679 0.000

Problem 2003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 315 603 0 510 0 499 -1

N.S.

1 1.00 0.92 1.75 0.00 1.48 0.00 1.45 -0.00

time (sec)

N/A 0.150 0.107 0.079 0.000 2.266 0.000 0.650 0.000

Problem 2004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 258 507 0 459 0 507 -1

N.S.

1 1.00 0.72 1.42 0.00 1.29 0.00 1.42 -0.00

time (sec)

N/A 0.138 0.113 0.071 0.000 2.019 0.000 0.756 0.000

Problem 2005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 289 386 0 376 0 514 1010

N.S.

1 1.00 7.05 9.41 0.00 9.17 0.00 12.54 24.63

time (sec)

N/A 0.016 0.074 0.073 0.000 1.628 0.000 0.677 2.379

Problem 2006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 295 392 0 394 0 520 1010

N.S.

1 1.00 3.01 4.00 0.00 4.02 0.00 5.31 10.31

time (sec)

N/A 0.034 0.074 0.071 0.000 2.066 0.000 0.741 2.298

Problem 2007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 295 392 0 407 0 520 1010

N.S.

1 1.00 1.98 2.63 0.00 2.73 0.00 3.49 6.78

time (sec)

N/A 0.045 0.075 0.080 0.000 2.581 0.000 1.038 2.264

Problem 2008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

200 200 295 392 0 417 0 520 1010

N.S.

1 1.00 1.48 1.96 0.00 2.08 0.00 2.60 5.05

time (sec)

N/A 0.059 0.071 0.079 0.000 2.524 0.000 0.875 2.530

Problem 2009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

359 359 295 392 0 426 0 520 1010

N.S.

1 1.00 0.82 1.09 0.00 1.19 0.00 1.45 2.81

time (sec)

N/A 0.141 0.074 0.082 0.000 2.894 0.000 1.208 2.530

Problem 2010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 295 392 0 437 0 520 1010

N.S.

1 1.00 0.81 1.08 0.00 1.21 0.00 1.44 2.79

time (sec)

N/A 0.131 0.072 0.074 0.000 2.671 0.000 1.452 2.374

Problem 2011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

360 360 295 392 0 444 0 520 1010

N.S.

1 1.00 0.82 1.09 0.00 1.23 0.00 1.44 2.81

time (sec)

N/A 0.135 0.080 0.079 0.000 2.844 0.000 0.843 2.390

Problem 2012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 295 392 0 456 0 520 1010

N.S.

1 1.00 0.81 1.08 0.00 1.26 0.00 1.44 2.79

time (sec)

N/A 0.134 0.076 0.072 0.000 2.294 0.000 0.942 2.399

Problem 2013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 295 392 0 468 0 520 1010

N.S.

1 1.00 0.81 1.08 0.00 1.29 0.00 1.44 2.79

time (sec)

N/A 0.134 0.076 0.077 0.000 2.182 0.000 1.097 2.447

Problem 2014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

362 362 295 392 0 478 0 520 1010

N.S.

1 1.00 0.81 1.08 0.00 1.32 0.00 1.44 2.79

time (sec)

N/A 0.133 0.073 0.079 0.000 2.214 0.000 1.284 2.450

Problem 2015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 30 27 661 40 42 18 -1

N.S.

1 1.00 0.77 0.69 16.95 1.03 1.08 0.46 -0.03

time (sec)

N/A 0.019 0.014 0.071 0.281 2.066 0.026 1.139 0.000

Problem 2016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 30 27 418 30 32 18 -1

N.S.

1 1.00 0.77 0.69 10.72 0.77 0.82 0.46 -0.03

time (sec)

N/A 0.018 0.008 0.066 0.285 2.475 0.022 1.170 0.000

Problem 2017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 30 27 236 20 19 18 -1

N.S.

1 1.00 0.77 0.69 6.05 0.51 0.49 0.46 -0.03

time (sec)

N/A 0.019 0.006 0.065 0.273 2.688 0.018 1.665 0.000

Problem 2018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 28 25 100 11 8 19 -1

N.S.

1 1.00 0.45 0.40 1.61 0.18 0.13 0.31 -0.02

time (sec)

N/A 0.019 0.007 0.059 0.282 2.812 0.014 1.705 0.000

Problem 2019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 18 17 13 1 0 20 76

N.S.

1 1.00 0.75 0.71 0.54 0.04 0.00 0.83 3.17

time (sec)

N/A 0.005 0.003 0.061 0.277 2.633 0.009 1.078 2.382

Problem 2020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 26 25 0 10 7 17 -1

N.S.

1 1.00 0.74 0.71 0.00 0.29 0.20 0.49 -0.03

time (sec)

N/A 0.019 0.006 0.084 0.000 2.261 0.017 1.133 0.000

Problem 2021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 28 27 0 13 10 18 28

N.S.

1 1.00 0.74 0.71 0.00 0.34 0.26 0.47 0.74

time (sec)

N/A 0.014 0.007 0.060 0.000 3.010 0.051 0.909 2.101

Problem 2022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 39 30 27 0 23 26 18 28

N.S.

1 0.93 0.71 0.64 0.00 0.55 0.62 0.43 0.67

time (sec)

N/A 0.019 0.008 0.081 0.000 1.691 0.083 1.145 2.168

Problem 2023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 39 30 27 0 33 37 18 28

N.S.

1 0.93 0.71 0.64 0.00 0.79 0.88 0.43 0.67

time (sec)

N/A 0.018 0.009 0.084 0.000 2.074 0.112 0.962 2.143

Problem 2024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 39 30 27 0 43 49 18 28

N.S.

1 0.93 0.71 0.64 0.00 1.02 1.17 0.43 0.67

time (sec)

N/A 0.018 0.009 0.059 0.000 2.184 0.146 1.171 2.171

Problem 2025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 170 321 727 241 0 202 -1

N.S.

1 1.00 0.81 1.53 3.46 1.15 0.00 0.96 -0.00

time (sec)

N/A 0.071 0.058 0.079 0.295 2.169 0.000 1.120 0.000

Problem 2026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 120 209 467 155 0 148 -1

N.S.

1 1.00 0.74 1.29 2.88 0.96 0.00 0.91 -0.01

time (sec)

N/A 0.058 0.037 0.083 0.272 2.512 0.000 1.167 0.000

Problem 2027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 74 116 269 86 0 88 -1

N.S.

1 1.00 0.70 1.09 2.54 0.81 0.00 0.83 -0.01

time (sec)

N/A 0.036 0.026 0.079 0.275 2.286 0.000 1.459 0.000

Problem 2028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 36 48 122 37 0 51 -1

N.S.

1 1.00 0.54 0.72 1.82 0.55 0.00 0.76 -0.01

time (sec)

N/A 0.019 0.011 0.063 0.283 1.907 0.000 1.415 0.000

Problem 2029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 16 22 23 13 34 20 23

N.S.

1 1.00 0.64 0.88 0.92 0.52 1.36 0.80 0.92

time (sec)

N/A 0.005 0.004 0.062 0.273 1.863 0.410 0.954 2.145

Problem 2030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 57 77 0 91 0 139 -1

N.S.

1 1.00 0.48 0.64 0.00 0.76 0.00 1.16 -0.01

time (sec)

N/A 0.056 0.023 0.094 0.000 2.110 0.000 1.427 0.000

Problem 2031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 92 181 0 236 0 234 -1

N.S.

1 1.00 0.54 1.07 0.00 1.40 0.00 1.38 -0.01

time (sec)

N/A 0.081 0.045 0.097 0.000 2.152 0.000 2.461 0.000

Problem 2032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 135 331 0 479 0 316 -1

N.S.

1 1.00 0.61 1.48 0.00 2.15 0.00 1.42 -0.00

time (sec)

N/A 0.103 0.066 0.107 0.000 2.453 0.000 2.374 0.000

Problem 2033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 232 495 1004 387 0 280 -1

N.S.

1 1.00 0.92 1.96 3.98 1.54 0.00 1.11 -0.00

time (sec)

N/A 0.134 0.080 0.081 0.398 1.865 0.000 1.520 0.000

Problem 2034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 170 322 751 261 0 191 -1

N.S.

1 1.00 0.85 1.60 3.74 1.30 0.00 0.95 -0.00

time (sec)

N/A 0.101 0.056 0.079 0.344 2.286 0.000 1.666 0.000

Problem 2035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 91 179 531 159 0 129 -1

N.S.

1 1.00 0.59 1.16 3.45 1.03 0.00 0.84 -0.01

time (sec)

N/A 0.075 0.035 0.083 0.281 2.129 0.000 1.193 0.000

Problem 2036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 60 69 271 80 0 66 77

N.S.

1 1.00 1.46 1.68 6.61 1.95 0.00 1.61 1.88

time (sec)

N/A 0.015 0.023 0.079 0.266 2.373 0.000 2.615 2.245

Problem 2037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 32 35 123 51 0 35 43

N.S.

1 1.00 0.47 0.51 1.81 0.75 0.00 0.51 0.63

time (sec)

N/A 0.017 0.012 0.079 0.278 2.563 0.000 1.391 2.159

Problem 2038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 18 22 23 35 97 20 30

N.S.

1 1.00 0.67 0.81 0.85 1.30 3.59 0.74 1.11

time (sec)

N/A 0.005 0.005 0.077 0.270 1.761 0.527 1.778 2.091

Problem 2039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 116 251 0 394 0 302 -1

N.S.

1 1.00 0.55 1.20 0.00 1.88 0.00 1.44 -0.00

time (sec)

N/A 0.101 0.054 0.109 0.000 2.458 0.000 1.887 0.000

Problem 2040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

260 260 144 483 0 708 0 413 -1

N.S.

1 1.00 0.55 1.86 0.00 2.72 0.00 1.59 -0.00

time (sec)

N/A 0.135 0.074 0.127 0.000 2.385 0.000 1.596 0.000

Problem 2041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

323 323 184 753 0 1094 0 527 -1

N.S.

1 1.00 0.57 2.33 0.00 3.39 0.00 1.63 -0.00

time (sec)

N/A 0.168 0.080 0.122 0.000 3.275 0.000 1.936 0.000

Problem 2042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 102 147 121 304 654 1270 87

N.S.

1 1.00 1.02 1.47 1.21 3.04 6.54 12.70 0.87

time (sec)

N/A 0.029 0.077 0.089 0.283 2.328 0.720 1.230 0.084

Problem 2043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 102 147 121 255 549 908 87

N.S.

1 1.00 1.02 1.47 1.21 2.55 5.49 9.08 0.87

time (sec)

N/A 0.024 0.027 0.148 0.287 2.265 0.524 1.114 2.067

Problem 2044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 102 147 121 204 386 598 87

N.S.

1 1.00 1.02 1.47 1.21 2.04 3.86 5.98 0.87

time (sec)

N/A 0.024 0.024 0.084 0.279 2.282 7.887 1.365 0.061

Problem 2045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 102 147 121 152 146 339 87

N.S.

1 1.00 1.02 1.47 1.21 1.52 1.46 3.39 0.87

time (sec)

N/A 0.025 0.021 0.061 0.274 2.171 2.055 1.249 0.063

Problem 2046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 101 146 121 106 394 143 87

N.S.

1 1.00 1.05 1.52 1.26 1.10 4.10 1.49 0.91

time (sec)

N/A 0.023 0.018 0.041 0.292 1.815 18.810 0.872 0.061

Problem 2047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 99 136 126 112 109 150 114

N.S.

1 1.00 1.05 1.45 1.34 1.19 1.16 1.60 1.21

time (sec)

N/A 0.024 0.019 0.034 0.263 1.926 9.506 1.293 2.065

Problem 2048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 101 122 123 122 461 142 128

N.S.

1 1.00 1.05 1.27 1.28 1.27 4.80 1.48 1.33

time (sec)

N/A 0.024 0.019 0.038 0.268 2.122 0.474 1.950 0.075

Problem 2049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 100 114 122 135 665 136 114

N.S.

1 1.00 1.06 1.21 1.30 1.44 7.07 1.45 1.21

time (sec)

N/A 0.023 0.020 0.039 0.269 2.107 0.725 1.109 2.063

Problem 2050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 217 350 259 552 1187 2325 137

N.S.

1 1.00 1.37 2.22 1.64 3.49 7.51 14.72 0.87

time (sec)

N/A 0.052 0.132 0.080 0.271 2.464 1.087 1.005 0.068

Problem 2051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 217 350 259 473 1292 1698 137

N.S.

1 1.00 1.37 2.22 1.64 2.99 8.18 10.75 0.87

time (sec)

N/A 0.036 0.048 0.074 0.276 2.027 24.338 1.016 2.045

Problem 2052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 217 350 259 392 763 1149 137

N.S.

1 1.00 1.37 2.22 1.64 2.48 4.83 7.27 0.87

time (sec)

N/A 0.038 0.045 0.069 0.300 2.350 14.473 0.760 0.051

Problem 2053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 217 350 259 315 314 678 137

N.S.

1 1.00 1.39 2.24 1.66 2.02 2.01 4.35 0.88

time (sec)

N/A 0.035 0.039 0.067 0.299 1.603 3.257 1.295 0.049

Problem 2054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 216 349 259 240 740 298 137

N.S.

1 1.00 1.40 2.27 1.68 1.56 4.81 1.94 0.89

time (sec)

N/A 0.037 0.034 0.072 0.272 2.010 40.785 1.034 0.049

Problem 2055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 214 324 265 246 243 346 192

N.S.

1 1.00 1.41 2.13 1.74 1.62 1.60 2.28 1.26

time (sec)

N/A 0.036 0.034 0.041 0.282 1.232 19.511 1.232 2.036

Problem 2056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 217 294 263 259 196 334 229

N.S.

1 1.00 1.43 1.93 1.73 1.70 1.29 2.20 1.51

time (sec)

N/A 0.038 0.035 0.056 0.385 3.083 26.403 0.818 2.020

Problem 2057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 218 274 263 265 1428 333 255

N.S.

1 1.00 1.42 1.78 1.71 1.72 9.27 2.16 1.66

time (sec)

N/A 0.037 0.035 0.060 0.279 3.093 0.854 1.134 0.083

Problem 2058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 376 936 449 854 3046 3640 187

N.S.

1 1.00 1.74 4.33 2.08 3.95 14.10 16.85 0.87

time (sec)

N/A 0.071 0.214 0.086 0.287 3.422 55.038 1.310 2.082

Problem 2059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 376 936 449 746 2096 2696 187

N.S.

1 1.00 1.74 4.33 2.08 3.45 9.70 12.48 0.87

time (sec)

N/A 0.054 0.211 0.078 0.351 2.835 37.877 1.078 0.064

Problem 2060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 376 936 449 640 1265 1856 187

N.S.

1 1.00 1.76 4.37 2.10 2.99 5.91 8.67 0.87

time (sec)

N/A 0.054 0.202 0.072 0.277 2.184 23.816 1.372 2.044

Problem 2061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 376 936 449 533 544 1119 187

N.S.

1 1.00 1.76 4.37 2.10 2.49 2.54 5.23 0.87

time (sec)

N/A 0.053 0.193 0.073 0.337 2.125 4.680 1.507 2.055

Problem 2062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 375 935 449 428 1217 505 187

N.S.

1 1.00 1.77 4.41 2.12 2.02 5.74 2.38 0.88

time (sec)

N/A 0.054 0.169 0.076 0.283 3.668 72.639 1.035 2.066

Problem 2063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 374 595 455 436 439 625 270

N.S.

1 1.00 1.82 2.89 2.21 2.12 2.13 3.03 1.31

time (sec)

N/A 0.053 0.200 0.048 0.313 2.798 38.515 1.503 2.068

Problem 2064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 376 552 453 447 360 609 335

N.S.

1 1.00 1.81 2.65 2.18 2.15 1.73 2.93 1.61

time (sec)

N/A 0.053 0.174 0.062 0.334 2.384 43.843 1.564 2.048

Problem 2065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 376 516 454 456 298 608 388

N.S.

1 1.00 1.79 2.46 2.16 2.17 1.42 2.90 1.85

time (sec)

N/A 0.054 0.180 0.067 0.322 3.470 72.037 1.225 0.075

Problem 2066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 149 196 0 415 175 264 165

N.S.

1 1.00 1.08 1.42 0.00 3.01 1.27 1.91 1.20

time (sec)

N/A 0.082 0.055 0.069 0.000 3.924 233.815 1.088 2.059

Problem 2067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 108 161 0 293 121 180 130

N.S.

1 1.00 0.96 1.44 0.00 2.62 1.08 1.61 1.16

time (sec)

N/A 0.041 0.036 0.040 0.000 3.074 150.370 0.803 0.072

Problem 2068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 77 99 0 205 82 112 93

N.S.

1 1.00 0.90 1.15 0.00 2.38 0.95 1.30 1.08

time (sec)

N/A 0.031 0.060 0.036 0.000 2.872 83.570 0.913 0.074

Problem 2069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 62 61 0 154 61 67 50

N.S.

1 1.00 1.00 0.98 0.00 2.48 0.98 1.08 0.81

time (sec)

N/A 0.020 0.022 0.035 0.000 3.080 15.986 0.681 0.059

Problem 2070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 37 0 129 44 41 38

N.S.

1 1.00 1.00 0.79 0.00 2.74 0.94 0.87 0.81

time (sec)

N/A 0.016 0.007 0.027 0.000 2.759 27.317 1.330 2.047

Problem 2071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 69 68 0 229 60 75 57

N.S.

1 1.00 1.00 0.99 0.00 3.32 0.87 1.09 0.83

time (sec)

N/A 0.025 0.038 0.033 0.000 1.960 33.378 1.095 2.074

Problem 2072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 85 90 0 413 83 119 100

N.S.

1 1.00 0.91 0.97 0.00 4.44 0.89 1.28 1.08

time (sec)

N/A 0.033 0.083 0.039 0.000 2.456 37.900 1.308 2.090

Problem 2073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 116 112 0 695 109 189 137

N.S.

1 1.00 0.97 0.94 0.00 5.84 0.92 1.59 1.15

time (sec)

N/A 0.042 0.069 0.038 0.000 3.650 41.213 1.183 0.124

Problem 2074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 214 295 0 686 0 374 361

N.S.

1 1.00 1.22 1.69 0.00 3.92 0.00 2.14 2.06

time (sec)

N/A 0.078 0.128 0.081 0.000 2.969 0.000 0.979 0.143

Problem 2075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 162 205 0 489 0 265 268

N.S.

1 1.00 1.11 1.40 0.00 3.35 0.00 1.82 1.84

time (sec)

N/A 0.056 0.088 0.070 0.000 2.697 0.000 0.921 0.142

Problem 2076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 119 138 0 330 0 174 199

N.S.

1 1.00 1.00 1.16 0.00 2.77 0.00 1.46 1.67

time (sec)

N/A 0.039 0.082 0.068 0.000 3.026 0.000 1.030 2.159

Problem 2077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 90 97 0 378 0 112 135

N.S.

1 1.00 0.90 0.97 0.00 3.78 0.00 1.12 1.35

time (sec)

N/A 0.036 0.057 0.041 0.000 2.331 0.000 0.963 0.121

Problem 2078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 99 106 0 451 1658 132 135

N.S.

1 1.00 0.90 0.96 0.00 4.10 15.07 1.20 1.23

time (sec)

N/A 0.037 0.098 0.036 0.000 2.034 121.981 1.128 0.101

Problem 2079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 96 138 0 536 0 152 142

N.S.

1 1.00 0.84 1.21 0.00 4.70 0.00 1.33 1.25

time (sec)

N/A 0.034 0.101 0.035 0.000 1.982 0.000 1.164 2.148

Problem 2080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 126 122 0 762 0 235 205

N.S.

1 1.00 0.90 0.87 0.00 5.44 0.00 1.68 1.46

time (sec)

N/A 0.046 0.155 0.046 0.000 3.713 0.000 1.452 2.321

Problem 2081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

167 167 168 143 0 1192 0 295 243

N.S.

1 1.00 1.01 0.86 0.00 7.14 0.00 1.77 1.46

time (sec)

N/A 0.061 0.191 0.051 0.000 2.488 0.000 1.673 2.536

Problem 2082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 220 165 0 1800 0 379 284

N.S.

1 1.00 1.12 0.84 0.00 9.18 0.00 1.93 1.45

time (sec)

N/A 0.083 0.296 0.058 0.000 3.103 0.000 1.795 2.542

Problem 2083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 277 345 0 893 0 476 535

N.S.

1 1.00 1.40 1.74 0.00 4.51 0.00 2.40 2.70

time (sec)

N/A 0.084 0.159 0.088 0.000 1.801 0.000 1.498 2.252

Problem 2084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 212 249 0 630 0 343 436

N.S.

1 1.00 1.24 1.46 0.00 3.68 0.00 2.01 2.55

time (sec)

N/A 0.060 0.102 0.077 0.000 1.334 0.000 2.659 2.254

Problem 2085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 162 178 0 726 0 239 337

N.S.

1 1.00 1.07 1.17 0.00 4.78 0.00 1.57 2.22

time (sec)

N/A 0.053 0.090 0.044 0.000 1.080 0.000 1.445 0.181

Problem 2086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 172 159 0 861 0 265 309

N.S.

1 1.00 1.06 0.98 0.00 5.31 0.00 1.64 1.91

time (sec)

N/A 0.060 0.153 0.046 0.000 2.182 0.000 1.372 2.117

Problem 2087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 171 172 0 998 0 289 296

N.S.

1 1.00 0.99 1.00 0.00 5.80 0.00 1.68 1.72

time (sec)

N/A 0.059 0.153 0.043 0.000 2.225 0.000 1.059 2.144

Problem 2088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 170 217 0 1131 0 313 297

N.S.

1 1.00 0.93 1.19 0.00 6.21 0.00 1.72 1.63

time (sec)

N/A 0.064 0.176 0.043 0.000 3.720 0.000 2.177 0.148

Problem 2089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 166 236 0 1268 0 331 307

N.S.

1 1.00 0.92 1.31 0.00 7.04 0.00 1.84 1.71

time (sec)

N/A 0.066 0.213 0.040 0.000 2.891 0.000 1.398 2.147

Problem 2090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 218 206 0 1662 0 440 398

N.S.

1 1.00 1.06 1.00 0.00 8.07 0.00 2.14 1.93

time (sec)

N/A 0.074 0.378 0.058 0.000 3.155 0.000 2.138 2.393

Problem 2091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 280 227 0 2418 0 500 436

N.S.

1 1.00 1.20 0.97 0.00 10.38 0.00 2.15 1.87

time (sec)

N/A 0.127 0.434 0.065 0.000 1.311 0.000 2.172 2.643

Problem 2092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 79 69 249 202 0 930 -1

N.S.

1 1.00 0.52 0.45 1.64 1.33 0.00 6.12 -0.01

time (sec)

N/A 0.051 0.027 0.082 0.313 1.037 0.000 1.163 0.000

Problem 2093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 79 69 204 163 0 663 -1

N.S.

1 1.00 0.52 0.45 1.34 1.07 0.00 4.36 -0.01

time (sec)

N/A 0.047 0.023 0.033 0.291 0.966 0.000 1.929 0.000

Problem 2094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 79 69 161 128 0 434 -1

N.S.

1 1.00 0.52 0.45 1.06 0.84 0.00 2.86 -0.01

time (sec)

N/A 0.046 0.020 0.033 0.353 1.109 0.000 1.137 0.000

Problem 2095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 79 69 118 91 0 246 -1

N.S.

1 1.00 0.52 0.45 0.78 0.60 0.00 1.62 -0.01

time (sec)

N/A 0.047 0.018 0.035 0.296 1.524 0.000 1.338 0.000

Problem 2096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 78 69 117 59 0 103 127

N.S.

1 1.00 0.52 0.46 0.78 0.39 0.00 0.69 0.85

time (sec)

N/A 0.047 0.017 0.021 0.285 1.377 0.000 1.339 2.414

Problem 2097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 78 69 77 68 0 119 90

N.S.

1 1.00 0.53 0.47 0.52 0.46 0.00 0.80 0.61

time (sec)

N/A 0.047 0.019 0.028 0.329 0.673 0.000 1.023 2.653

Problem 2098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 79 68 96 79 0 111 126

N.S.

1 1.00 0.53 0.46 0.65 0.53 0.00 0.75 0.85

time (sec)

N/A 0.045 0.020 0.031 0.290 3.639 0.000 1.138 2.721

Problem 2099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 79 69 116 88 0 108 151

N.S.

1 1.00 0.53 0.46 0.77 0.59 0.00 0.72 1.01

time (sec)

N/A 0.046 0.020 0.025 0.294 1.885 0.000 1.863 2.630

Problem 2100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 172 202 554 353 0 1397 -1

N.S.

1 1.00 0.65 0.77 2.10 1.34 0.00 5.29 -0.00

time (sec)

N/A 0.084 0.045 0.043 0.304 2.075 0.000 1.268 0.000

[next] [prev] [prev-tail] [front] [up]